Paul Bernays: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

An Unsolvable Problem of Elementary Number Theoryby Alonzo Church

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1936

Language:

english

File:

PDF, 285 KB

english, 1936

2

The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesisby Kurt Gödel

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 310 KB

english, 1940

3

A System of Axiomatic Set Theory--Part II

Journal:

Journal of Symbolic Logic

Year:

1941

Language:

english

File:

PDF, 1.54 MB

english, 1941

4

New Foundations for Mathematical Logicby W. V. Quine

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

english

File:

PDF, 342 KB

english, 1937

5

A System of Axiomatic Set Theory--Part I

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

english

File:

PDF, 1.40 MB

english, 1937

6

Russell's Mathematical Logicby Kurt Gödel

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1946

Language:

english

File:

PDF, 688 KB

english, 1946

7

Rosser Barkley. Extensions of some theorems of Gödel and Church. The journal of symbolic logic, vol. 1 (1936), pp. 87–91.

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

english

File:

PDF, 171 KB

english, 1937

8

A System of Axiomatic Set Theory: Part III. Infinity and Enumerability. Analysis

Journal:

Journal of Symbolic Logic

Year:

1942

Language:

english

File:

PDF, 2.15 MB

english, 1942

9

A System of Axiomatic Set Theory: Part IV. General Set Theory

Journal:

Journal of Symbolic Logic

Year:

1942

Language:

english

File:

PDF, 1.20 MB

english, 1942

10

A System of Axiomatic Set Theory: Part V. General Set Theory

Journal:

Journal of Symbolic Logic

Year:

1943

Language:

english

File:

PDF, 1.99 MB

english, 1943

11

A System of Axiomatic Set Theory--Part VII

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 414 KB

english, 1954

12

A System of Axiomatic Set Theory--Part VI

Journal:

Journal of Symbolic Logic

Year:

1948

File:

PDF, 2.95 MB

1948

13

Introduction to the Philosophy of Mathematicsby Evert W. Beth

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1943

Language:

english

File:

PDF, 528 KB

english, 1943

14

Meaning and Necessity. A Study in Semantics and Modal Logicby Rudolf Carnap

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1950

Language:

english

File:

PDF, 815 KB

english, 1950

15

A Note on the Entscheidungs Problemby Alonzo Church

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1936

Language:

english

File:

PDF, 186 KB

english, 1936

16

A Reinterpretation of Schonfinkel's Logical Operatorsby W. V. Quine

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1936

Language:

english

File:

PDF, 305 KB

english, 1936

17

Zum Entscheidungsproblem der mathematischen Logik

Paul Bernays, Moses Schönfinkel

Journal:

Mathematische Annalen

Year:

1928

Language:

german

File:

PDF, 1.66 MB

german, 1928

18

Axiomatische Untersuchung des Aussagen-Kalkuls der “Principia Mathematica”

Journal:

Mathematische Zeitschrift

Year:

1926

Language:

german

File:

PDF, 762 KB

german, 1926

19

On the Consistency of Quine's New Foundations for Mathematical Logicby Barkley Rosser

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 352 KB

english, 1940

20

The System LDby Haskell B. Curry;On the Definition of Negation by a Fixed Proposition in Inferential Calculusby Haskell B. Curry

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1953

Language:

english

File:

PDF, 361 KB

english, 1953

21

Cours de Logique et Philosophie Générale. I. Méthodologie de la Physique Théorique Moderne. II. Notions de Logistique.by Jean-Louis Destouches; Marie-Therese Pasturaud; Jeannine Viard

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1948

Language:

english

File:

PDF, 520 KB

english, 1948

22

Modalities and Quantificationby Rudolf Carnap

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1948

Language:

english

File:

PDF, 354 KB

english, 1948

23

Extensions of some Theorems of Gödel and Churchby Barkley Rosser

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

english

File:

PDF, 367 KB

english, 1937

24

Die Bedeutung Hilberts für die Philosophie der Mathematik

Journal:

Naturwissenschaften (The Science of Nature)

Year:

1922

Language:

german

File:

PDF, 1014 KB

german, 1922

25

A Note on the Redundant Axiom of Principia Mathematicaby Peter Nidditch

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 342 KB

english, 1971

26

Die Widerspruchsfreiheit der reinen Zahlentheorieby Gerhard Gentzen

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1936

Language:

english

File:

PDF, 203 KB

english, 1936

27

Les Concepts Mathématiques sont-ils Inventes ou Découverts? (Discours d'Ouverture du Président Annuel de la S. H. S. N.).by Séverin Bays

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1948

Language:

english

File:

PDF, 208 KB

english, 1948

28

CONTRADICTION ET NON-CONTRADICTION

Journal:

Year:

1947

Language:

german

File:

PDF, 339 KB

german, 1947

29

On the Independence of Hilbert and Ackermann's Postulates for the Calculus of Propositional Functionsby J. C. C. McKinsey

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1936

Language:

english

File:

PDF, 298 KB

english, 1936

30

Über Endliche Mengen.by Paul Lorenzen

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1952

Language:

english

File:

PDF, 284 KB

english, 1952

31

The Discussion Goes On

Harry H. Field, Paul F. Lazarsfeld, Claude G. Robinson and Edward L. Bernays

Journal:

Public Opinion Quarterly

Year:

1945-1946

Language:

english

File:

PDF, 704 KB

english, 1945-1946

32

Some Properties of Conversionby Alonzo Church; J. B. Rosser

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1936

Language:

english

File:

PDF, 294 KB

english, 1936

33

Essai sur Les Notions de Structure et D'Existence en Mathématiques.by Albert Lautman

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 512 KB

english, 1940

34

Definition by Indication in Quine's New Foundations for Mathematical Logicby Barkley Rosser

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 236 KB

english, 1940

35

A New Definition of Truthby J. C. C. McKinsey

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 430 KB

english, 1951

36

[Studies in Logic and the Foundations of Mathematics] Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 Volume 60 || On the Original Gentzen Consistency Proof for Number Theory

Year:

1970

Language:

english

File:

PDF, 580 KB

english, 1970

37

[Studies in Logic and the Foundations of Mathematics] Sets and Classes on The Work by Paul Bernays Volume 84 || On the Problem of Schemata of Infinity in Axiomatic Set Theory

Year:

1976

Language:

english

File:

PDF, 2.00 MB

english, 1976

38

Untersuchungen zum Prädikatenkalkul.by Oiva Ketonen

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1945

Language:

english

File:

PDF, 650 KB

english, 1945

39

The Consistency of the Axiom of Choice and of the Generalized Continuum- Hypothesis with the Axioms of Set Theoryby Kurt Gödel; George W. Brown

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1941

Language:

english

File:

PDF, 424 KB

english, 1941

40

ZUM BEGRIFF DER DIALEKTIK

Journal:

Year:

1947

Language:

german

File:

PDF, 210 KB

german, 1947

41

Études sur les Règles d'Inférence dites Règles de Gentzen. Deuxième Partie.by Hugues LeBlanc

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 369 KB

english, 1967

42

ZUR FRAGE DER ANKNÜPFUNG AN DIE KANTISCHE ERKENNTNISTHEORIE

Journal:

Year:

1955

Language:

german

File:

PDF, 1.41 MB

german, 1955

43

Solvable Cases of the Decision Problemby W. Ackermann

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 760 KB

english, 1957

44

Erwiderung auf die Note von Herrn Aloys Müller: “Über Zahlen als Zeichen”

Journal:

Annalen der Philosophie und philosophischen Kritik

Year:

1924-1925

Language:

german

File:

PDF, 282 KB

german, 1924-1925

45

The Theory of Classes. A Modification of von Neumann's Systemby Raphael M. Robinson

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

english

File:

PDF, 198 KB

english, 1937

46

Über den Gegenstandscharakter der Zahlen

Aloys Müller and Paul Bernays

Journal:

Annalen der Philosophie und philosophischen Kritik

Year:

1924-1925

Language:

german

File:

PDF, 2.07 MB

german, 1924-1925

47

The Discussion Goes On

Field, Harry H., Lazarsfeld, Paul F., Robinson, Claude G., Bernays, Edward L.

Journal:

Public Opinion Quarterly

Year:

1945

Language:

english

File:

PDF, 368 KB

english, 1945

48

Mengentheoretische Begründung der Logik.by Wilhelm Ackermann

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1938

Language:

english

File:

PDF, 234 KB

english, 1938

49

Ein Allgemeiner Kalkülbegriff.by Karl Schröter

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1944

Language:

english

File:

PDF, 207 KB

english, 1944

50

Rapports Entre le Calcul des Problèmes et le Calcul des Propositions.by Paulette Destouches-Février

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1947

Language:

english

File:

PDF, 324 KB

english, 1947

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски